Proposition 4.1.4 (Homotopy invariance of K0)

  1. If are homotopic -homomorphisms, then
  2. If are homotopy equivalent -algebras, then is isomorphic to . More specifically, if is a homotopy, then are isomorphisms and .